mining production - German English Dictionary